COMMENT ⊗   VALID 00002 PAGES 
RECORD PAGE   DESCRIPTION
 00001 00001
 00002 00002	Biography of John McCarthy
 00012 ENDMK
⊗;
Biography of John McCarthy


BORN:	September 4, 1927 in Boston, Massachusetts

EDUCATION:

	B.S., (Mathematics) California Institute of Technology, 1948

	Ph.D. (Mathematics) Princeton University, 1951

HONORS AND SOCIETIES:

	American Mathematical Society

	Association for Computing Machinery

	Sigma Xi

	Sloan Fellow in Physical Science, 1957-59

	ACM National Lecturer, 1961

	IEEE

PROFESSIONAL EXPERIENCE:

	Proctor Fellow, Princeton University, 1950-51

	Higgins Research Instructor in Mathematics,
	  Princeton University, 1951,53

	Acting Assistant Professor of Mathematics,
	  Stanford University, Sept. 1953 - Jan. 1955

	Assistant Professor of Mathematics, Dartmouth
	  College, Feb. 1955 - June 1958

	Assistant Professor of Communication Science,
	  M.I.T., 1958 - 1961

	Associate Professor of Communication Science,
	  M.I.T., 1961 - 1962

	Professor of Computer Science
	  Stanford University, 1962 - present

PROFESSIONAL RESPONSIBILITIES AND SCIENTIFIC INTERESTS:

	With Marvin Minsky organized and directed the Artificial
	  Intelligence Project at M.I.T.

	Organized and directs Stanford Artificial Intelligence
	  Laboratory

	Developed the LISP programming system for computing with
	  symbolic expressions, participated in the development
	  of the ALGOL 58 and the ALGOL 60 languages.

	Present scientific work is in the fields of Artificial
	  Intelligence, Computation with Symbolic Expressions,
	  Mathematical Theory of Computation, Time-Sharing computer
	  systems.


PUBLICATIONS:

	1.  "Projection Operators and Partial Differential Equations",
		Ph.d. Thesis, Princeton University, 1951.

	2.  "A Method for the Calculation of Limit Cycles by Succesive
		Approximation" in Contributions to the Theory of
		Nonlinear Oscillations II, Annals of Mathematics Study
		No. 29, Princeton University, 1952, pp. 75-79.

	3.  "An Everywhere Continuous Nowhere Differentiable Function",
		American Mathematical Monthly, December 1953, p. 709.

	4.  "A Nuclear Reactor for Rockets", Jet Propulsion, January
		1954.

	5.  "The Inversion of Functions Defined by Turing Machines",
		in Automata Studies, Annals of Mathematics Study No. 34.
		Princeton, 1956, pp. 177-181.

	6.  Coeditor with Dr. Claude E. Shannon of Automata Studies,
		Annals of Mathematical Study No. 34, Princeton, 1956.

	7.  "Recursive Functions of Symbolic Expressions and their
		Computation by Machine", Comm. ACM, April 1960.

	8.  "Programs with Common Sense", Proc. Teddington Conf. on
		Mechanization of Thought Processes, H.M. Stationary
		Office, 1960.

	9.  (with 12 others) "ALGOL 60", Comm. ACM, May 1960 and Jan.
		1963, and Numerische Mathematik, March 1960.

	10. "A Basis for Mathematical Theory of Computation", Proc.
		Western Joint Computer Conf., May 1961, pp. 225-238, and
		in Braffort and Hirschberg (eds.), Computer Programming
		and Formal Systems, North-Holland, Amsterdam, 1963.

	11. "Time-Sharing Computer Systems" in Management and the
		Computer of the Future (Greenberger, ed.), MIT Press,
		1962.

	12. (with Abrahams, Edward, Hart, and Levin) LISP 1.5 Programmers
		Manual, MIT Press, 1962.

	13. "Computer Programs for Checking Mathematical Proofs", Amer.
		Math. Soc. Proc. Symposia in Pure Math., Vol. 5, 1962.

	14. (with Boilen, Fredkin, and Licklider) "A Time-Sharing 
		Debugging System for a Small Computer", Proc. AFIPS 1963
		Spring Joint Computer Conf., Spartan, Detroit, 1963.

	15. (with F. Corbato and M. Daggett) "The Linking Segment 
		Subprogram Language and Linking Loader Programming
		Languages", Comm. ACM, July 1963.

	16. "Towards a Mathematical Theory of Computation", Proc. IFIP
		Congress 62, North-Holland, Amsterdam, 1963.

 	17. "Problems in the Theory of Computation", Proc. IFIP Congress
		65, 1965.

	18. "Time-Sharing Computer Systems" in Conversational Computers
		(W. Orr, ed.), Wiley, 1966.

	19. "Information", Scientific American, Sept. 1966.

	20. "A Formal Description of a Subset of Algol", pp. 1-12 of
		Formal Language Description Languages for Computer
		Programming, T.B. Steel, Jr. (editor), North-Holland
		Publishing Co., Amsterdam, 1966.

	21. (with D. Brian, G. Feldman, aad J. Allen) "THOR - A Display
		Based Time-Sharing System", AFIPS Conf. Proc., Vol. 30
		(FJCC), Thompson, Washington D.C., 1967.

	22. "Computer Control of a Hand and Eye", Proc. Third All-Union
		Conference on Automatic Control (Technical Cybernetics),
		Nauka, Moscow, Russia, 1967.

	23. (with J. Painter) "Correctness of a Compiler for Arithmetic
		Expressions", in Amer. Math. Soc. Proceedings of Symposia
		in Applied Mathematics, Mathematical Aspects of Computer
		Science, New York, 1967.

	24. "Programs with Common Sense" in Semantic Information 
		Processing (M. Minsky, ed.), MIT Press, 1968.

	25. (with Earnest, Reddy, and Vicens) "A Computer with Hands,
		Eyes and Ears", Proc. AFIPS Conf. 1968 (FJCC).

	26. (with P. Hayes) "Some Philosophical Problems from the Stand-
		point of Artificial Intelligence", in Machine Intelligence
		4 (D. Mitchie, ed), American Elsevier, New York, 1969.

	27. (with Z. Manna and A. Pneuli) "Formalization of Properties
		of Recursively Defined Functions", Proc. ACM Symposium
		on Computing Theory, May 1969.  also appeared in the
		Journal of the ACM, July 1970.

	28. (with Z. Manna) "Properties of Programs and Partial Function
		Logic", in Machine Intelligence 5, Edinburgh University
		Press, 1970.